(with_echo_area_buffer): Avoid confusion from reusing

the buffer that was used for echoing.

diff --git a/src/xdisp.c b/src/xdisp.c
index 925eed8d6ffd2b6242875fd173dc0afa8038e9a5..4b26633c7e7771c8ec78441b789ad5b9924f49dd 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -6139,6 +6139,11 @@ with_echo_area_buffer (w, which, fn, a1, a2, a3, a4)
 
   buffer = echo_area_buffer[this_one];
 
+  /* Don't get confused by reusing the buffer used for echoing
+     for a different purpose.  */
+  if (!echoing && EQ (buffer, echo_message_buffer))
+    cancel_echoing ();
+
   record_unwind_protect (unwind_with_echo_area_buffer,
                         with_echo_area_buffer_unwind_data (w));